well-ordering theorem - Turc Anglais Dictionnaire